1st edition of CASH paper presentation will be on November 30 at 9:30 (coffee at 9:20) Salle de réunion 316 Centre Ludovic Henrio will present: ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations —  Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain — Coordination 2016 Julien Braine will present: What’s Decidable About Arrays? Aaron R. … Continue reading CASH paper presentation 30/11 a 9h30